Vik
Заводитель заводных
![*](http://ссо-мицар.рф/forum/Themes/default/images/star.gif)
Карма: +71/-0
Offline
Сообщений: 1398
|
![](http://ссо-мицар.рф/forum/Themes/default/images/post/xx.gif) |
« Ответ #4800 : 04 Июнь 2014, 12:53:46 » |
|
Для оптимиста стакан наполовину полон, для пессимиста - наполовину пуст. А с точки зрения топологии стакан полон стекла, остальное - снаружи.
|
|
|
Записан
|
|
|
|
xapuyc
Администратор
Мудрый эксперт
![*](http://ссо-мицар.рф/forum/Themes/default/images/star.gif) ![*](http://ссо-мицар.рф/forum/Themes/default/images/star.gif)
Карма: +571/-1
Offline
Сообщений: 15710
|
![](http://ссо-мицар.рф/forum/Themes/default/images/post/xx.gif) |
« Ответ #4801 : 14 Июнь 2014, 04:07:14 » |
|
В самом деле ... ![](http://s7.pikabu.ru/post_img/2014/06/13/9/1402671535_1707921374.jpg)
|
|
|
Записан
|
Я счастлив по умолчанию. Пожалуйста, не лезьте в настройки! ![](http://lines.net.ua/__1373774400_62993_1_1_1_1_2_1_1.jpeg)
|
|
|
Тимошок Игорь
Администратор
Живу я тут
Карма: +703/-5
Offline
Сообщений: 10394
|
![](http://ссо-мицар.рф/forum/Themes/default/images/post/xx.gif) |
« Ответ #4802 : 14 Июнь 2014, 13:28:51 » |
|
В самом деле ...
Э...подождите! Равенство (тождество) доказано только в одну сторону. А в обратную?
|
|
|
Записан
|
|
|
|
Чеблакова Лена
Заслуженный Ветеран общения
![*](http://ссо-мицар.рф/forum/Themes/default/images/star.gif) ![*](http://ссо-мицар.рф/forum/Themes/default/images/star.gif)
Карма: +560/-0
Offline
Сообщений: 5178
|
![](http://ссо-мицар.рф/forum/Themes/default/images/post/xx.gif) |
« Ответ #4803 : 15 Июнь 2014, 01:51:13 » |
|
В самом деле ...
Э...подождите! Равенство (тождество) доказано только в одну сторону. А в обратную? а в одну сторону ты проверил? В самом деле? ![Веселый](http://ссо-мицар.рф/forum/Smileys/LightB/cheesy.gif)
|
|
|
Записан
|
|
|
|
xapuyc
Администратор
Мудрый эксперт
![*](http://ссо-мицар.рф/forum/Themes/default/images/star.gif) ![*](http://ссо-мицар.рф/forum/Themes/default/images/star.gif)
Карма: +571/-1
Offline
Сообщений: 15710
|
![](http://ссо-мицар.рф/forum/Themes/default/images/post/xx.gif) |
« Ответ #4804 : 15 Июнь 2014, 02:59:51 » |
|
В самом деле ...
Э...подождите! Равенство (тождество) доказано только в одну сторону. А в обратную? а в одну сторону ты проверил? В самом деле? ![Веселый](http://ссо-мицар.рф/forum/Smileys/LightB/cheesy.gif) Да там же всё очевидно! ![Веселый](http://ссо-мицар.рф/forum/Smileys/LightB/cheesy.gif) А вот по поводу доказательства в обе стороны я в первый раз слышу ![В замешательстве](http://ссо-мицар.рф/forum/Smileys/LightB/undecided.gif) В самом деле ...
|
|
|
Записан
|
Я счастлив по умолчанию. Пожалуйста, не лезьте в настройки! ![](http://lines.net.ua/__1373774400_62993_1_1_1_1_2_1_1.jpeg)
|
|
|
|
xapuyc
Администратор
Мудрый эксперт
![*](http://ссо-мицар.рф/forum/Themes/default/images/star.gif) ![*](http://ссо-мицар.рф/forum/Themes/default/images/star.gif)
Карма: +571/-1
Offline
Сообщений: 15710
|
![](http://ссо-мицар.рф/forum/Themes/default/images/post/xx.gif) |
« Ответ #4806 : 15 Июнь 2014, 22:33:30 » |
|
"Если из а следует б, но из б не следует а, то тезис а является более сильным, чем тезис б"
Так в том доказательстве ничто не из чего не следует. Там обычные равенства ![Подмигивающий](http://ссо-мицар.рф/forum/Smileys/LightB/wink.gif)
|
|
|
Записан
|
Я счастлив по умолчанию. Пожалуйста, не лезьте в настройки! ![](http://lines.net.ua/__1373774400_62993_1_1_1_1_2_1_1.jpeg)
|
|
|
Тимошок Игорь
Администратор
Живу я тут
Карма: +703/-5
Offline
Сообщений: 10394
|
![](http://ссо-мицар.рф/forum/Themes/default/images/post/xx.gif) |
« Ответ #4807 : 16 Июнь 2014, 08:51:29 » |
|
Так в том доказательстве ничто не из чего не следует. Там обычные равенства ![Подмигивающий](http://ссо-мицар.рф/forum/Smileys/LightB/wink.gif) Значит, нужно в обе стороны доказывать каждый шаг ![В замешательстве](http://ссо-мицар.рф/forum/Smileys/LightB/undecided.gif) для равенства двух объектов необходимо и достаточно, чтобы любой предикат, который может быть построен на данном типе, давал на них одинаковое логическое значение
|
|
|
Записан
|
|
|
|
xapuyc
Администратор
Мудрый эксперт
![*](http://ссо-мицар.рф/forum/Themes/default/images/star.gif) ![*](http://ссо-мицар.рф/forum/Themes/default/images/star.gif)
Карма: +571/-1
Offline
Сообщений: 15710
|
![](http://ссо-мицар.рф/forum/Themes/default/images/post/xx.gif) |
« Ответ #4808 : 16 Июнь 2014, 10:47:47 » |
|
Игорь, там же обычные преобразования! Вот, например: (a+b)*(c+d) = (a+b)*c + (a+b)*d = a*c + b*c + a*d + b*d Зачем тут что-то доказывать "в обратную сторону" ?
|
|
|
Записан
|
Я счастлив по умолчанию. Пожалуйста, не лезьте в настройки! ![](http://lines.net.ua/__1373774400_62993_1_1_1_1_2_1_1.jpeg)
|
|
|
Тимошок Игорь
Администратор
Живу я тут
Карма: +703/-5
Offline
Сообщений: 10394
|
![](http://ссо-мицар.рф/forum/Themes/default/images/post/xx.gif) |
« Ответ #4809 : 16 Июнь 2014, 12:27:57 » |
|
Чтобы произвести преобразования, нужно быть уверенным, что их можно произвести (это не всегда так). Да и само преобразование (функцию) кто-то когда-то доказывал, нет?
|
|
|
Записан
|
|
|
|
xapuyc
Администратор
Мудрый эксперт
![*](http://ссо-мицар.рф/forum/Themes/default/images/star.gif) ![*](http://ссо-мицар.рф/forum/Themes/default/images/star.gif)
Карма: +571/-1
Offline
Сообщений: 15710
|
![](http://ссо-мицар.рф/forum/Themes/default/images/post/xx.gif) |
« Ответ #4810 : 16 Июнь 2014, 13:21:36 » |
|
Чтобы произвести преобразования, нужно быть уверенным, что их можно произвести (это не всегда так).
В приведённом выше примере все эти преобразования можно производить и это доказанно. Мы же говорим о конкретных задачах и решениях, а не абстрактно рассуждаем. Я честно говоря не очень понимаю - чего ты не понимаешь. ![Улыбка](http://ссо-мицар.рф/forum/Smileys/LightB/smiley.gif) Мне кажется, мы говорим немного о разных вещах ...
|
|
« Последнее редактирование: 16 Июнь 2014, 13:23:44 от xapuyc »
|
Записан
|
Я счастлив по умолчанию. Пожалуйста, не лезьте в настройки! ![](http://lines.net.ua/__1373774400_62993_1_1_1_1_2_1_1.jpeg)
|
|
|
Тимошок Игорь
Администратор
Живу я тут
Карма: +703/-5
Offline
Сообщений: 10394
|
![](http://ссо-мицар.рф/forum/Themes/default/images/post/xx.gif) |
« Ответ #4811 : 16 Июнь 2014, 14:18:22 » |
|
В самом деле? ![Веселый](http://ссо-мицар.рф/forum/Smileys/LightB/cheesy.gif)
|
|
|
Записан
|
|
|
|
xapuyc
Администратор
Мудрый эксперт
![*](http://ссо-мицар.рф/forum/Themes/default/images/star.gif) ![*](http://ссо-мицар.рф/forum/Themes/default/images/star.gif)
Карма: +571/-1
Offline
Сообщений: 15710
|
![](http://ссо-мицар.рф/forum/Themes/default/images/post/xx.gif) |
« Ответ #4812 : 16 Июнь 2014, 16:51:19 » |
|
В самом деле? ![Веселый](http://ссо-мицар.рф/forum/Smileys/LightB/cheesy.gif) ![Веселый](http://ссо-мицар.рф/forum/Smileys/LightB/cheesy.gif)
|
|
|
Записан
|
Я счастлив по умолчанию. Пожалуйста, не лезьте в настройки! ![](http://lines.net.ua/__1373774400_62993_1_1_1_1_2_1_1.jpeg)
|
|
|
xapuyc
Администратор
Мудрый эксперт
![*](http://ссо-мицар.рф/forum/Themes/default/images/star.gif) ![*](http://ссо-мицар.рф/forum/Themes/default/images/star.gif)
Карма: +571/-1
Offline
Сообщений: 15710
|
![](http://ссо-мицар.рф/forum/Themes/default/images/post/xx.gif) |
« Ответ #4813 : 16 Июнь 2014, 17:19:54 » |
|
Предлагаю сменить тему ![](http://s00.yaplakal.com/pics/pics_preview/0/0/7/3412700.jpg)
|
|
|
Записан
|
Я счастлив по умолчанию. Пожалуйста, не лезьте в настройки! ![](http://lines.net.ua/__1373774400_62993_1_1_1_1_2_1_1.jpeg)
|
|
|
Yuliya
Мега-заводной
![*](http://ссо-мицар.рф/forum/Themes/default/images/star.gif)
Карма: +125/-0
Offline
Сообщений: 930
улыбайтесь!
|
![](http://ссо-мицар.рф/forum/Themes/default/images/post/xx.gif) |
« Ответ #4814 : 18 Июнь 2014, 16:35:22 » |
|
Основные положения устава клуба анонимных добряков: 1. Будь добр. 1.1. Будь добр, сука. 2. Люби людей 2.1. Не этим. 3. Делай добро. 3.1. В случае сопротивления, оставайся добрым, продолжай. 3.2. В случае вмешательства полиции, оставайся добрым, убегай. 4. Неси добро. 4.1. Выноси добро. 4.2. Проноси добро. 4.3. В случае вмешательства полиции, скидывай добро, не забывай оставаться добрым, убегай. 4.4. В случае задержания или ареста, упирай на то, что добро не твоё, тебе его подкинули. Притворяйся злодеем. Полиции это импонирует. 5. Рассчитывай силу нанесения добра. Получив слишком много добра, неподготовленный человек может умереть от умиления. 6. Улыбайся. 6.1. Не рычи, когда улыбаешься. 7. Помогай другим людям стать добрее. 7.1. Не ори. 7.2. Спрячь нож. 7.3. При необходимости звони в скорую.
|
|
|
Записан
|
|
|
|
|